a2 b2 = c2